$\forall$$L$:($\mathbb{Z}$ List), $x$:$\mathbb{Z}$. ($x$ $\in$ $L$) $\Rightarrow$ ($x$ $\leq$ imax{-}list($L$))